Expertise in Chinese character recognition is marked by reduced holistic processing, which depends mainly on writing rather than reading experience. Here we show that, while simplified and traditional Chinese readers demonstrated a similar level of HP when processing characters shared between the simplified and traditional scripts, simplified Chinese readers were less holistic than traditional Chinese readers in perceiving simplified characters; this effect depended mainly on their writing rather than reading performance. However, the two groups did not differ in HP of (...) traditional characters, regardless of their difference in reading and writing performances. Our image analysis showed high visual similarity between the two character types, with a larger variance among simplified characters; this may allow simplified Chinese readers to interpolate and generalize their skills to traditional characters. Thus, transfer of perceptual expertise may be constrained by both the similarity in feature and the difference in exemplar variance between the categories. (shrink)

The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula (...) is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. (shrink)

Издание предназначено для широкого круга читателей, интересующихся проблемами филологии науки и техники, социальной философии, экологии.

Работа будет интересна преподавателям, аспирантам и студентам гуманитарных специальностей и тем, кто интересуется проблемами становления личности.

The general notion of the development of productive forces is, according to the materialist understanding of history, the point of departure for the solution of numerous concrete problems in Marxist-Leninist social theory and current revolutionary practice. It offers decisive arguments for the critique of Right and "Left" revisionism and reformism. In the course of the disputes that have recently begun in the Marxist economic and philosophical literature with regard to the basic questions involved in this problem, substantial gaps are found (...) specifically in the development of general theory. What is the internal contradiction moving within the forces of production; in what lies the distinction between their existence and essence, essence and appearance? A correct understanding of the processes involved in the resolution of this contradiction in real life, in revolutionary practice, depends upon attaining the utmost clarity with regard to these questions. (shrink)

A phenomenon is that which appears. In his phenomenology, Jean-Luc Marion shows how a phenomenon that appears in and out of itself evades the metaphysical demand of grounding. Classical philosophy has acknowledged phenomena only in so far as they can be sanctioned by the concepts of the intellect. This holds good also of Husserl’s constitutive ego. Now, Marion distinguishes between such intuitively “poor phenomena” and the “saturated phenomena” that exceed the intentional consciousness; they are given not by the consciousness but (...) to the consciousness in an excess of intuition. This “gift of appearance” is Marion’s main concern, in the visible in general, and in painting in particular. But whereas idols only reflect our own desire to see and to be seen, icons surprise us by the gaze the saint directs on us. A picture is the scene of a possible revelation; and the revelation is nothing but the phenomenon taken in its fullest meaning: intuitive saturation at its maximum. A crucial question, nonetheless, remains: What is the relation between revelation as a phenomenological possibility, and Revelation as a theological dogma of the utmost importance? (shrink)

We report on the experience of creating a socially networked system, the Research-oriented Social Environment , for representing knowledge in the form of relationships between people, documents, and groups. Developed as an intercampus, interdisciplinary project of the University of California, this work reflects on a collaboration between scholars in the humanities, software engineering, and information studies by providing an opportunity not only to synthesize different disciplinary perspectives, but also to interrogate and challenge the assumptions each brings to team-based design projects (...) in the digital humanities. This work examines socially networked knowledge as both content and methodology for collaboration, calling for further critique and future investigation of epistemological questions in models of social networks. (shrink)

The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...) types of modal definability on the level of Kripke models, we give characterization theorems in the usual form, in terms of algebraic closure conditions. As some consequences of these, various preservation results are presented. Also, some characterizations are strengthened by replacing closure under ultraproducts with closure under ultrapowers. (shrink)

In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...) nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

Sobre la base de una línea interpretativa propiciada por la misma doctrina de Plotino, este trabajo pretende estudiar el problema que conlleva el fin último del alma humana en vista de su ascenso hacia el Uno-Bien. En varios pasajes de su obra, el filósofo sostiene que, conociendo el propio sí-mismo, se puede tomar contacto con un principio supremo, anterior incluso a la potencia intelectiva, en virtud de cuya visión es dable gozar de un amor sin medida. El remate en la (...) unificación no depende en última instancia del acierto racional, sino de concordar en el mismo centro con aquello de semejante al Uno-Bien que hay en el alma. Estas distinciones abonarían la posibilidad de una unión mística dentro del sistema plotiniano. Sin embargo, desde el punto de vista epistemológico, el estatuto místico es controvertido y plantea una serie dificultades teóricas que es necesario dilucidar. Para el análisis de los tópicos mentados se desarrolla una lectura a la vez hermenéutica y crítica tanto de las fuentes como de la bibliografía erudita. (shrink)

We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...) an example of derivation, a formal proof of Arrow’s impossibility theorem is given. (shrink)

Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research.

A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to (...) artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has only recently started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics (...) to artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.

This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.

We prove an existential analogue of the Goldblatt‐Thomason Theorem which characterizes modal definability of elementary classes of Kripke frames using closure under model theoretic constructions. The less known version of the Goldblatt‐Thomason Theorem gives general conditions, without the assumption of first‐order definability, but uses non‐standard constructions and algebraic semantics. We present a non‐algebraic proof of this result and we prove an analogous characterization for an alternative notion of modal definability, in which a class is defined by formulas which are satisfiable (...) under any valuation (the so‐called existential validity). Continuing previous work in which model theoretic characterization for this type of definability of elementary classes was proved, we give an analogous general result without the assumption of the first‐order definability. Furthermore, we outline relationships between sets of existentially valid formulas corresponding to several well‐known modal logics. (shrink)

Given the preponderance of corporate social responsibility initiatives across the corporate landscape and the correspondingly escalating demand for volunteers who participate in these initiatives, a need exists to better understand how to effectively motivate their voluntary engagement with tasks. Against this backdrop, this study argues the need to enhance their volunteer work meanings. We hypothesize that pride in volunteer work and volunteering as a calling are determinants of perceptions of the meaningfulness of volunteer work. In addition, we reveal that an (...) organization’s social responsibility climate (SRC) is a key moderator in these relationships. Interestingly, an SRC is a double-edged sword such that it strengthens the relationship between meaning and pride, yet weakens the relationship between meaning and calling. Findings are discussed, along with managerial implications and future research directions. (shrink)

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

In recent years there has been an increasing interest in museum studies in exhibitions on what is termed Difficult Matters —such as rape and mass murder—and how such exhibitions may evoke ethical change. This raises the question about the conditions on which such exhibitions can lead to an ethical change. By developing a conceptual framework this article contributes to museum studies on Difficult Matters demonstrating how vulnerability can work as a key concept in a relational pedagogical understanding of the conditions (...) for ethical change. Inspired by feminist ethics the article suggests that there is an “ambivalent potentiality” of the concept of vulnerability and forwards a double perspective on vulnerability as condition: vulnerability is inherent to the human condition and always situational. From this point of departure vulnerability is fleshed out as a key concept in museum pedagogy via pedagogical thinkers inspired by the philosopher Emmanuel Lévinas’ ethics. Concepts like heteronomy, incarnation, Face and Saying/Said are introduced to define vulnerability and the relation between exhibition and visitor is defined as a teaching–learning relation conditioned by vulnerability. Vulnerability is defined as openness to an encounter with the Other as being different, which is conditional of an ethical transformation of existing perceptions of self, others and the world. Finally, inspired by feminist philosophy a norm critical is introduced. It is argued that displaying Difficult Matters in order to evoke an ethical transformation museum professionals need consider critically the norms of vulnerability at play in particular situations. On this basis, the concept of vulnerability can serve as a lever for discussions on the pedagogy of exhibitions on Difficult Matters and the ethical responsibility of museum professionals in public museums in this regard. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called 'special pleading (SP)'. One way to grasp the meaning of the special pleading fallacy is to focus on a general principle of fairness: We ought to treat individuals alike unless there is some relevant difference between them that merits the differential treatment. Avoiding SP can be very difficult for two reasons. First, the fallacy takes so many forms. Second, SP can be difficult to avoid because it is (...) often invisible to the one who commits the fallacy, and in this respect it is like a bad, invisible cognitive habit. The fact that SP can be, and so often is, used simultaneously to hide and to underwrite hypocrisy and prejudice makes it an important informal fallacy of reasoning that affects everyday life. (shrink)

Lenman 's cluelessness objection against consequentialism states that we are almost entirely clueless to the actual consequences of our action. In ‘Cluelessness,’ Hilary Greaves distinguishes between ‘simple’ and ‘complex’ cases of cluelessness and argues that the principle of indifference applies to ‘simple’ cases, thereby rescuing the ‘simple’ cases from the cluelessness objection. In this discussion note, I argue that Greaves's distinction between ‘simple’ and ‘complex’ cases fails and cluelessness is more problematic than Greaves believes.

The belief that all human beings are ‘moral equals’ is widespread within the canon of Western liberal philosophy. However, it is unclear precisely what ‘moral equality’ or its associate terms mean, what grounds our ‘moral equality’ and what the implications of being ‘moral equals’ are. In this paper, I distinguish between three ways of understanding ‘moral equality’: the ‘buck-passing’, ‘explanatory’ and ‘reverse-explanatory’ accounts. The buck-passing account of moral equality is in parallel with Scanlon’s buck-passing account of value. It holds that (...) ‘moral equality’ is not a metaphysically fundamental concept and simply amounts to having other properties shared equally by all human beings that constitute the reasons for why we ought to treat all human beings equally in certain respects. The explanatory account understands the concept of ‘moral equality’ as metaphysically fundamental and explanatory of why human beings who are the same in certain respects have the same entitlement to x. The reverse-explanatory account also sees ‘moral equality’ as metaphysically fundamental but holds that the explanatory relationship goes the other way round: moral equality is explained by how we ought to act. I argue that the buck-passing account is a more accurate way of understanding moral equality. (shrink)

Background In end-of-life situations, the phrase “do everything” is sometimes invoked by physicians, patients, or substitute decision-makers, though its meaning is ambiguous. We examined instances of the phrase “do everything” in the archive of the Ontario Consent and Capacity Board in Canada, a tribunal with judicial authority to adjudicate physician–patient conflicts in order to explore its potential meanings. Methods We systematically searched the CCB’s online public archive from its inception to 2018 for any references to “do everything” in the context (...) of critical care medicine and end-of-life care. Two independent assessors reviewed decisions, collected characteristics, and identified key themes. Results Of 598 cases in the archive, 41 referred to “do everything” in end-of-life situations. The phrase was overwhelmingly invoked by SDMs, typically to advocate for life-prolonging measures that contradicted physician advice. Physicians generally related “doing everything” to describe the interventions they had already performed, using it to recommend focusing on patients’ quality of life. SDMs were generally reluctant to accept death, whereas physicians found prolonging life at all costs to be morally distressing. The CCB did not interpret appeals to “do everything” legally but followed existing laws by deferring to patients’ prior wishes whenever known, or to concepts of “best interests” when not. The CCB generally recommended against life-prolonging measures in these cases, focusing on patients’ “well-being” and “best interests.” Conclusions In this unique sample of cases involving conflict surrounding resuscitation and end-of-life care, references to “do everything” highlighted conflicts over quantity versus quality of life. These appeals were associated with signs of cognitive distress on the behalf of SDMs who were facing the prospect of a patient’s death, whereas physicians identified moral distress related to the prolongation of patients’ suffering through their use of life-sustaining interventions. This divergence in perspectives on death versus suffering was consistently the locus of conflict. These findings support the importance of tools such as the Serious Illness Conversation Guide that can be used by physicians to direct conversations on the patients’ goals, wishes, trade-offs, and to recommend a treatment plan that may include palliative care. Trial Registration Not applicable. (shrink)

Journal of Social Philosophy, Volume 52, Issue 3, Page 344-361, Fall 2021.